assoced($a$; $b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$divides($a$; $b$) $\wedge$ divides($b$; $a$)